MGI:3513442 chohr1 recessive hypercholesterolemia 1 CHO022 CHOHR1 http://identifiers.org/mgd/MGI:3513442